“Exploring Code with Microsoft Pex” “Parameterized Unit Testing with Microsoft Pex”

A parameterized unit test is the straightforward generalization of a unit test by allowing parameters. Parameterized unit tests make statements about the code’s behavior for an entire set of possible input values, instead of just a single exemplary input value. This document contains common patterns for parameterized unit tests. The patterns are written with automatic test input generation tools in mind, such as Microsoft Pex, which can determine all—or at least many—relevant test inputs that trigger the possible cases of the parameterized unit test and the code-under-test. This guide is Technical Level 400. To take advantage of this content, you should be experienced with the concepts and capabilities discussed in these documents